-
1 аксиома непротиворечивости
В разделе 1 слабая аксиома уже была введена в качестве аксиомы непротиворечивости. — The weak axiom was already introduced in Section 1 as a consistency axiom.
Russian-English Dictionary "Microeconomics" > аксиома непротиворечивости
-
2 аксиома
от греч. axiōma(Отправное, исходное положение какой-либо теории, лежащее в основе доказательств других положений этой теории, в пределах которой оно принимается без доказательств.)принимать аксиому без доказательств — accept the axiom as primitive and therefore not subject to proof
- аксиома болвана - аксиома выбора - слабая аксиома выявленного предпочтения - СА - аксиома независимости - аксиома непрерывности - аксиома непротиворечивости - основная аксиома - аксиома полезности - слабая аксиомапринимать что-л. в качестве аксиомы — take smth as an axiom
-
3 аксиома
аксиома
Любое предложение с точным содержанием, утверждаемое в качестве такового авторитетным источником
[ ГОСТ 34.320-96]
аксиома
Предложение, принимаемое за истину без доказательств.
Аксиомы являются исходными предложениями различных теорий. К аксиомам предъявляются требования непротиворечивости, независимости и полноты. Примером аксиомы является утверждение: "через две точки можно провести только одну прямую" линию.
Нередко аксиомы являются отправными пунктами программирования, определяя то, что должно быть истинным. Аксиомы имеют опытное происхождение и являются основой доказательств многих других положений.
Аксиому также называют постулатом.
[ http://www.morepc.ru/dict/]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > аксиома
См. также в других словарях:
АКСИОМА — (от греч. axioma значимое, принятое положение) исходное, принимаемое без доказательства положение к. л. теории, лежащее в основе доказательств др. ее положений. Долгое время термин «А.» понимался не просто как отправной пункт доказательств, но и… … Философская энциклопедия
аксиома — Любое предложение с точным содержанием, утверждаемое в качестве такового авторитетным источником [ГОСТ 34.320 96] аксиома Предложение, принимаемое за истину без доказательств. Аксиомы являются исходными предложениями различных теорий. К аксиомам… … Справочник технического переводчика
Аксиома — (от греч. axioma значимость, требование) 1) (в математике) предложение, принимаемое без доказательства, рассматриваемое как исходное при построении той или иной математической теории. Система аксиом, являющаяся логическим фундаментом обоснования… … Начала современного естествознания
ВЫБОРА АКСИОМА — одна из аксиом теории множеств, гласящая: для всякого семейства Fнепустых множеств существует функция f такая, что для всякого множества Sиз Fимеет место (при этом f наз. функцией выбора на F). Для конечных семейств FВ. а. выводима из остальных… … Математическая энциклопедия
ПЯТЫЙ ПОСТУЛАТ — аксиома параллельности Евклида, через точку Рвне прямой АА в плоскости, проходящей через Ри АА , можно провести лишь одну прямую, не пересекающую АА . В Началах Евклида П. п. был приведен в следующей эквивалентной формулировке: И если прямая,… … Математическая энциклопедия
АКСИОМАТИЧЕСКИЙ МЕТОД — способ построения научной теории, при к ром в основу теории кладутся нек рые исходные положения, наз. аксиомами теории, а все остальные предложения теории получаются как логич. следствия аксиом. В математике А. м. зародился в работах… … Математическая энциклопедия
АКСИОМАТИЧЕСКАЯ ТЕОРИЯ МНОЖЕСТВ — направление в математич. логике, занимающееся изучением фрагментов содержательной теории множеств методами математич. логики. Обычно с этой целью фрагменты теории множеств оформляются в виде формальной аксиоматич. теории. В более узком смысле… … Математическая энциклопедия
Лобачевского геометрия — геометрическая теория, основанная на тех же основных посылках, что и обычная Евклидова геометрия, за исключением аксиомы о параллельных, которая заменяется на аксиому о параллельных Лобачевского. Евклидова аксиома о параллельных гласит:… … Большая советская энциклопедия
Геометрия Лобачевского — (1) евклидова геометрия; (2) геометрия Римана; (3) геометрия Лобачевского Геометрия Лобачевского (гип … Википедия
Лобачевского геометрия — Геометрия Лобачевского (гиперболическая геометрия) одна из неевклидовых геометрий, геометрическая теория, основанная на тех же основных посылках, что и обычная евклидова геометрия, за исключением аксиомы о параллельных, которая заменяется на… … Википедия
Плоскость Лобачевского — Геометрия Лобачевского (гиперболическая геометрия) одна из неевклидовых геометрий, геометрическая теория, основанная на тех же основных посылках, что и обычная евклидова геометрия, за исключением аксиомы о параллельных, которая заменяется на… … Википедия